At last, the costly and bitter war between the two Foundations had come to an end. The scientists of the First Foundation had proved victorious; and now they retum to Hari Seldon's long-established plan to build a new Empire that the Second Foundation is not destroyed after all-and that its still-defiant survivors are preparing their revenge. Now the two exiled citizens of the ...(展开全部)

Thomas Pynchon brings us to New York in the early days of the internet It is 2001 in New York City, in the lull between the collapse of the dot-com boom and the terrible events of September 11th. Silicon Alley is a ghost town, Web 1.0 is having adolescent angst, Google has yet to IPO, Microsoft is still considered the Evil Empire. There may not be quite as much money around as ...(展开全部)

Thomas Pynchon brings us to New York in the early days of the internet It is 2001 in New York City, in the lull between the collapse of the dot-com boom and the terrible events of September 11th. Silicon Alley is a ghost town, Web 1.0 is having adolescent angst, Google has yet to IPO, Microsoft is still considered the Evil Empire. There may not be quite as much money around as ...(展开全部)

It is 2001 in New York City, in the lull between the collapse of the dotcom boom and the terrible events of September 11th. Silicon Alley is a ghost town, Web 1.0 is having adolescent angst, Google has yet to IPO, Microsoft is still considered the Evil Empire. There may not be quite as much money around as there was at the height of the tech bubble, but there's no shortage of s...(展开全部)

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad r...(展开全部)

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad r...(展开全部)

Larry Darrell is a young American in search of the absolute. The progress of his spiritual odyssey involves him with some of Maugham's most brilliant characters - his fiancée Isabel whose choice between love and wealth have lifelong repercussions, and Elliott Templeton, her uncle, a classic expatriate American snob.Maugham himself wanders in and out of the story, to observe his...(展开全部)

An intimate and compelling exploration into the unique psyche of the heart surgeon, by one of the profession’s most eminent figures.

身穿黑衣的异形者的组织[DEATH EDGE]，他们的目的是抹杀“天使”，抹杀已经满足于乐园，为了追求刺激而降临地面的恶趣味的天使——